//
// Created by ziya on 2023/3/7.
//

#ifndef ZIYA_OS_X64_TTY_H
#define ZIYA_OS_X64_TTY_H

#include "types.h"

void console_init(void);
void console_write(char *buf, u32 count);

#endif //ZIYA_OS_X64_TTY_H
